strict monoidal category
strictモノイダル圏_
/mrsekut-book-4621063243/235 (VII-1 モノイダル圏)
https://ncatlab.org/nlab/show/strict+monoidal+category
#WIP
モノイダル圏
の結合律、左単位性、右単位性は自然同型を通じて成立するが、
strict monoidal categoryでは、それらの法則が直接的に成立する版